Con Simone de Beauvoir a pájaros

Axiomatisations of Weak Equivalences for De Simone Languages

Aceto, Bloom and Vaandrager proposed in ABV92] a procedure for generating a complete axiomatisation of strong bisimulation for process languages in the GSOS format. However, the choice operator +, which the procedure uses, as well as other auxiliary GSOS operators, which it introduces to obtain a nite axiomatisation, do not preserve many of weak equivalences. We propose a modiication of this pr...

Análisis de Variabilidad con Modelos de Objetivos

Dentro del campo de la variabilidad, o la habilidad de cambio o personalización de un sistema, no es común que dicha variabilidad se tenga en cuenta en la definición de requisitos. En las propuestas donde si se contemplan se utilizan directamente features, aunque no son una técnica de elicitación de requisitos, sino que más bien están a medio camino entre los requisitos y la definición de la ar...

De XML a PDF: Tipografía con TeX

Resumen Uno de los problemas de los sistemas de visualizado con HTML es el escaso control tipográfico que se tiene sobre el resultado final. Los archivos PDF, por el contrario, permiten un control total sobre el formato, pero ello plantea el nuevo reto de crear, a partir de XML, documentos PDF con la calidad tipográfica necesaria y adaptados a las pautas ortotipográficas que uno puede esperar e...

Resultados a corto plazo de angioplastía de rescate en pacientes con infarto agudo de miocardio con trombólisis fallida

Aproximación de funciones con EPWavenets

Resumen. En este trabajo presentamos las redes neuronales EPWavenets como una arquitectura de red neuronal de funciones de base radial modificada para incluir funciones wavelets que se obtienen con parametrizaciones de filtros de reconstrucción perfecta. Los parámetros son optimizados con un algoritmo evolutivo a fin de mejorar la aproximación de funciones f(x). Los experimentos comparan el des...